Foreign Key and Check Constraint